SLD resolution - PDFSEARCH.IO - Document Search Engine

SLD resolution
Results: 16

#	Item
11	Introduction to PROLOG Peter Lucas Department of Computing Science University of Aberdeen, Aberdeen Contents Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2002-01-23 10:03:24 Logic programming Automated theorem proving Prolog Rules of inference Horn clause Unification Clause SLD resolution Inference Software engineering Computing Computer programming
12	227 ARTIFICIAL INTELLIGENCE Linear Resolution with Selection Function Robert Kowalski and Donald Kuehnm Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-12-18 06:42:49 Automated theorem proving Rules of inference Resolution Logic programming Propositional calculus First-order logic Derivation SLD resolution SL Logic Mathematical logic Theoretical computer science
13	227 ARTIFICIAL INTELLIGENCE Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-12-18 06:42:49 Automated theorem proving Rules of inference Resolution Logic programming Propositional calculus First-order logic Derivation SLD resolution SL Logic Mathematical logic Theoretical computer science
14	Chapter 9 SLD-Resolution And Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-06-17 11:47:12 Logic programming Logic in computer science Rules of inference Automated theorem proving Horn clause Resolution Clause Prolog Mathematical proof Logic Mathematics Mathematical logic
15	PDF Document Add to Reading List Source URL: www.sci.brooklyn.cuny.edu Language: English - Date: 2003-09-03 10:42:12 Rules of inference Logic programming B-Prolog SLD resolution Prolog Datalog Computer program Resolution XSB Computing Software engineering Computer programming
16	PDF Document Add to Reading List Source URL: www.cs.sunysb.edu Language: English - Date: 2008-07-06 10:39:46 Theoretical computer science Logic Mathematics SLD resolution Stable model semantics Automated theorem proving FO Prolog Resolution Logic programming Rules of inference Mathematical logic